Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Yuan Feng and Mingsheng Ying. Toward Automatic Verification of Quantum Cryptographic Protocols. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 441-455, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{feng_et_al:LIPIcs.CONCUR.2015.441, author = {Feng, Yuan and Ying, Mingsheng}, title = {{Toward Automatic Verification of Quantum Cryptographic Protocols}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {441--455}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.441}, URN = {urn:nbn:de:0030-drops-53936}, doi = {10.4230/LIPIcs.CONCUR.2015.441}, annote = {Keywords: Quantum cryptographic protocols, Verification, Bisimulation, Security} }
Feedback for Dagstuhl Publishing